Inductive programming - PDFSEARCH.IO - Document Search Engine

Inductive programming
Results: 80

#	Item
41	Distributed Interactive Learning in Multi-Agent Systems Jian Huang and Adrian R. Pearce Department of Computer Science and Software Engineering NICTA Victoria Laboratory The University of Melbourne Victoria 3010, Austral Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2009-01-04 08:03:51 Reasoning Cybernetics Problem solving Multi-agent systems Artificial intelligence Common knowledge Machine learning Inductive logic programming Agent-based model Science Knowledge Logic
42	CS109A Notes for LectureRecursive Denition of Expressions Expressions with binary operators can be dened as follows. Basis: An operand is an expression. Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:57:50 Computing Theoretical computer science Programming idioms Mathematical notation Mathematical proofs Operand Mathematical induction Recursion Inductive reasoning Mathematics Computer programming Mathematical logic
43	Collaborative Inductive Logic Programming for Path Planning Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2009-01-04 08:03:51 Reasoning Epistemology Statistical inference Inductive reasoning Problem solving Inductive logic programming Logic programming Machine learning Deductive reasoning Science Logic Knowledge
44	Theoretical Computer Science–2 www.elsevier.com/locate/tcs Preface This special volume contains the revised and expanded version of nine of the 28 Add to Reading List Source URL: www-alg.ist.hokudai.ac.jp Language: English - Date: 2014-03-14 14:24:09 Science Knowledge Inductive inference Inductive reasoning Inference Statistical inference Algorithmic learning theory Learnability Logic programming Computational learning theory Theoretical computer science Applied mathematics
45	Inductive learning Learning algorithms like neural networks, decision trees, inductive logic programming, etc. all require a good number of examples to be able to do good predictions. Learning Add to Reading List Source URL: aass.oru.se Language: English - Date: 2005-07-15 11:27:02 Cybernetics Explanation-based learning Chess Games Machine learning Learning
46	A Divide and Conquer Approach to Using Inductive Logic Programming for Learning User Models Heather Maclaren Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2009-01-15 09:59:11 Machine learning Cybernetics Learning Inductive logic programming Cluster analysis Scalability Usability Statistics Data mining Data analysis
47	CoqInE: Translating the Calculus of Inductive Constructions into the λΠ-calculus Modulo Mathieu Boespflug1 and Guillaume Burel2 1 McGill University Montr´eal, Qu´ebec, Canada Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2012-07-23 07:37:37 Type theory Dependently typed programming Lambda calculus Formal methods Recursion Calculus of constructions Calculus of inductive constructions Coq Dependent type Programming language theory Mathematics Algebra
48	Towards Generic Inductive Constructions in Systems of Nets Stéphane Gimenez Institute of Computer Science University of Innsbruck, Austria Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:14 Type theory Dependently typed programming Computability theory General topology Net Inductive data type Constructible universe Inductive reasoning Linear logic Logic Mathematical logic Mathematics
49	INTRODUCTION TO INDUCTIVE LOGIC PROGRAMMING Nada Lavrac J. Stefan Institute Ljubljana, Slovenia Add to Reading List Source URL: www-ai.ijs.si Language: English - Date: 2002-10-02 08:14:18

UPDATE